<?php

if ( ! extension_loaded("mongodb")) {
    exit("skip mongodb not loaded");
}

require __DIR__ . "/" . "basic.inc";


